Lux: A Lightweight, Statically Typed XML Update Language
نویسنده
چکیده
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals also complicate the semantics of XQuery because arbitrary side-effecting update statements are allowed inside queries. Moreover, static typechecking has not been studied for any proposed XML update language. In this paper, we survey prior work on XML update languages and motivate an alternative approach to updating XML. We introduce an update language called Lux, which stands for Lightweight Updates for XML. Lux can perform relational database-style updates, has a simple, deterministic operational semantics, and has a sound static type system based on regular expression types and structural subtyping.
منابع مشابه
Statically Typed Document Transformation: An Xtatic Experience
XTATIC is a lightweight extension of C⋕ with native support for statically typed XML processing. It features XML trees as built-in values, a refined type system based on regular types à la XDUCE, and regular patterns for investigating and manipulating XML. We describe our experiences using XTATIC in a real-world application: a program for transforming XMLSPEC, a format used for authoring W3C te...
متن کاملImplementing a database programming language for XML applications
There is an emerging amount of software for generating, manipulating and storing XML documents, which remain valid according to a given DTD or an XML Schema. Common solutions are often based on the W3C’s Document Object Model (DOM), which has evolved to an important collection of language independent interfaces allowing to represent and manipulate any single XML document. Databases containing m...
متن کاملLightweight Verification with Dependent Types
Dependent types, studied for many years in Logic, have recently been gaining attention in Functional Programming Languages for expressing rich properties as types. A simple example is a type 〈list A n〉, for lists of length n holding objects of type A. A more complex example is 〈trm G T 〉, for terms in some object language which have object-language type T in context G. Dependently typed program...
متن کاملThe XTATIC Experience
XTATIC is a lightweight extension of C# with native support for statically typed XML processing. It features XML trees as built-in values, a refined type system based on regular types in the style of XDUCE, and "tree grep"-style regular patterns for traversing and manipulating XML. Previous papers on XTATIC have reported results on a number of specific technical issues: basic theoretical proper...
متن کاملJ ul 2 00 8 F LUX : FunctionaL Updates for XML ( extended report )
XML database query languages have been studied extensively, but XML database updates have received relatively little attention, and pose many challenges to language design. We are developing an XML update language called FLUX, which stands for FunctionaL Updates for XML, drawing upon ideas from functional programming languages. In prior work, we have introduced a core language for FLUX with a c...
متن کامل